Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus
نویسندگان
چکیده
We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reasoning qualitatively about relative positions in dynamic environments.
منابع مشابه
Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملSustainability analysis of urban neighborhoods with emphasis on spatial and social justice Case Study: Maragheh City
The present paper deals with the analysis and analysis of spatial justice and its relation with social capital using descriptive-analytical research method. To assess spatial justice, the distribution of urban facilities and their per capita amount (per capita of religious, educational, medical, green, cultural, etc.) are used at local level. Then, they have been ranked by the multi-criteria de...
متن کاملQualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control
Research on qualitative spatial reasoning has produced a variety of calculi for reasoning about orientation or direction relations. Such qualitative abstractions are very helpful for agent control and communication between robots and humans. Conceptual neighborhood has been introduced as a means of describing possible changes of spatial relations which e.g. allows action planning at a high leve...
متن کاملA Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus
We propose the utilisation of a general formalism to reason about action & change for reasoning about the dynamic purpose-directed aspects of spatial change. Such an approach is necessary toward the general integration of qualitative spatial reasoning with reasoning about the teleological aspects of spatial change. With this as the overall context, the main contribution of this paper is to illu...
متن کامل